FUNCTIONAL FREENESS FOR THE BERMAN CLASS Km,n OF OCKHAM ALGEBRAS
نویسندگان
چکیده
In this paper we show that an algebra Ω(m,n) is functionally free for the Berman class Km,n of Ockham algebras, that is, for any two polynomials f and g, they are identically equal in Km,n if and only if f = g holds in Ω(m,n). This result can be applied to the well-known algebras, e.g., Boolean, de Morgan, Kleene, Stone, Bunge algebras, and so on.
منابع مشابه
A class of certain properties of approximately n-multiplicative maps between locally multiplicatively convex algebras
We extend the notion of approximately multiplicative to approximately n-multiplicative maps between locally multiplicatively convex algebras and study some properties of these maps. We prove that every approximately n-multiplicative linear functional on a functionally continuous locally multiplicatively convex algebra is continuous. We also study the relationship between approximately mu...
متن کاملComplemented congruences on Ockham algebras
An Ockham algebra L = (L,∧,∨, f, 0, 1) that satisfies the identity f2n+m = fm, n ∈ N and m ∈ N0, is called a Kn,m-algebra. Generalizing some results obtained in [2], J. Varlet and T. Blyth, in [3, Chapter 8], study congruences on K1,1-algebras. In particular, they describe the complement (when it exists) of a principal congruence and characterize these congruences that are complemented. In this...
متن کاملAlmost n-Multiplicative Maps between Frechet Algebras
For the Fr'{e}chet algebras $(A, (p_k))$ and $(B, (q_k))$ and $n in mathbb{N}$, $ngeq 2$, a linear map $T:A rightarrow B$ is called textit{almost $n$-multiplicative}, with respect to $(p_k)$ and $(q_k)$, if there exists $varepsilongeq 0$ such that$$q_k(Ta_1a_2cdots a_n-Ta_1Ta_2cdots Ta_n)leq varepsilon p_k(a_1) p_k(a_2)cdots p_k(a_n),$$for each $kin mathbb{N}$ and $a_1, a_2, ldots, a_nin A$. Th...
متن کاملOn a functional equation for symmetric linear operators on $C^{*}$ algebras
Let $A$ be a $C^{*}$ algebra, $T: Arightarrow A$ be a linear map which satisfies the functional equation $T(x)T(y)=T^{2}(xy),;;T(x^{*})=T(x)^{*} $. We prove that under each of the following conditions, $T$ must be the trivial map $T(x)=lambda x$ for some $lambda in mathbb{R}$: i) $A$ is a simple $C^{*}$-algebra. ii) $A$ is unital with trivial center and has a faithful trace such ...
متن کاملCertain subalgebras of Lipschitz algebras of infinitely differentiable functions and their maximal ideal spaces
We study an interesting class of Banach function algebras of innitely dierentiable functions onperfect, compact plane sets. These algebras were introduced by Honary and Mahyar in 1999, calledLipschitz algebras of innitely dierentiable functions and denoted by Lip(X;M; ), where X is aperfect, compact plane set, M = fMng1n=0 is a sequence of positive numbers such that M0 = 1 and(m+n)!Mm+n ( m!Mm)...
متن کامل